Process Algebra and Structured Operational Semantics Process Algebra and Structured Operational Semantics
نویسندگان
چکیده
منابع مشابه
Modeling and Analyzing Concurrent
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملProceedings of the 5th Progress Symposium on Embedded Systems
The formal language is the formalization of SystemC. The language semantics of was formally defined in a standard structured operational semantics (SOS) style. In this paper, we first provide an overview of the current status of the formal language and show some practical applications of . Then, we give an outline for the latest developments of . These developments include extensions of ! for m...
متن کاملAn Algebra of Non-safe Petri Boxes
We define an algebraic framework based on non-safe Petri nets, which allows one to express operations such as iteration, parallel composition, and transition synchronisation. This leads to an algebra of process expressions, whose constants and operators directly correspond to those used in Petri nets, and so we are able to associate nets to process expressions compositionally. The semantics of ...
متن کاملModeling and Analyzing Concurrent Systems with Mpa
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملA Verified Algebra for Linked Data
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991